MIPC is a well-known intuitionistic modal logic of Prior and Bull . It is shown that every normal intuitionistic modal logic L over MIPC has the finite model property whenever L is Kripke-complete and universal.

A minimal theorem in a logic L is an L-theorem which is not a non-trivial substitution instance of another L-theorem. Komori (1987) raised the question whether every minimal implicational theorem in intuitionistic logic has a unique normal proof in the natural deduction system NJ. The answer has been known to be partially positive and generally negative. It is shown here that a minimal implicational theorem A in intuitionistic logic has a unique -normal proof in NJ whenever A is provable without (...) non-prime contraction. The non-prime contraction rule in NJ is the implication introduction rule whose cancelled assumption differs from a propositional variable and appears more than once in the proof. Our result improves the known partial positive solutions to Komori's problem. Also, we present another simple example of a minimal implicational theorem in intuitionistic logic which does not have a unique -normal proof in NJ. (shrink)

Many languages have past-and-counterfactuality markers such as English simple past. There have been various attempts to find a common definition for both uses, but I will argue in this paper that they all have problems with ruling out unacceptable interpretations, or accounting for the contrary-to-fact implicature of counterfactual conditionals, or predicting the observed cross-linguistic variation, or a combination thereof. By combining insights from two basic lines of reasoning, I will propose a simple and transparent approach that solves all the observed (...) problems and offers a new understanding of the concept of counterfactuality. (shrink)

The use of role-playing (“active learning”) as a teaching tool has been reported in areas as diverse as social psychology, history and analytical chemistry. Its use as a tool in the teaching of engineering ethics and professionalism is also not new, but the approach develops new perspectives when used in a college class of exceptionally wide cultural diversity. York University is a large urban university (40,000 undergraduates) that draws its enrolment primarily from the Greater Toronto Area, arguably one of the (...) most culturally diverse cities in the world, embracing the largest percentage of Canada’s immigration. Among the area’s five million inhabitants, 50% identify themselves as a visible minority born outside Canada, while over 100 languages and dialects are spoken daily. Although students admitted from this international pool have usually been exposed to western attitudes during secondary education and are rapidly assimilated into Canadian culture, responses to specific ethical issues are strongly influenced by their prior culture. Two and three-part scripts for case studies based on NSF or original scenarios were written to illustrate issues such as gifts, attitudes towards women and ethnic minorities, conflict of interest, whistle-blowing, sexual harassment, individual rights, privacy, environment, intellectual property, and others. Following the presentation, the actors lead group discussion based on previously specified questions. Once the initial shyness and reluctance of some cultures has been overcome through the building of rapport, students have written original scripts based on hypothetical or prior personal situations. The method is now being adopted in a short course format to assist the professional integration of foreign trained engineers. (shrink)

The growing practice of returning individual results to research participants has revealed a variety of interpretations of the multiple and sometimes conflicting duties that researchers may owe to participants. One particularly difficult question is the nature and extent of a researcher’s duty to facilitate a participant’s follow-up clinical care by placing research results in the participant’s medical record. The question is especially difficult in the context of genomic research. Some recent genomic research studies — enrolling patients as participants — boldly (...) address the question with protocols dictating that researchers place research results directly into study participants’ existing medical records, without participant consent. Such privileging of researcher judgment over participant choice may be motivated by a desire to discharge a duty that researchers perceive themselves as owing to participants. However, the underlying ethical, professional, legal, and regulatory duties that would compel or justify this action have not been fully explored. (shrink)

Ethical debates around genetic enhancement tend to include an argument that the technology will eventually be fairly accessible once available. That we can fairly distribute genetic enhancement has become a moral defence of genetic enhancement. Two distribution solutions are argued for, the first being equal distribution. Equality of access is generally believed to be the fairest and most just method of distribution. Second, equitable distribution: providing genetic enhancements to reduce social inequalities. In this paper, I make two claims. I first (...) argue that the very assumption that genetic enhancements can be distributed fairly is problematic when considering our understanding of gene–environment interactions, for example, epigenetics. I then argue that arguments that genetic enhancements are permissible because the intended benefits can be distributed fairly as intended are misinformed. My first claim rests on the assertion that genetic enhancements do not enhance traits in a vacuum; genes are dependent on conducive environments for expression. If society cannot guarantee fair environments, then any benefit conferred from being genetically enhanced will be undermined. Thus, any argument that the distribution of genetic enhancements will be fair and that the technology is therefore morally permissible, is mistaken. (shrink)

In her chapter “Duress and Moral Progress”, Seana Shiffrin offers a novel perspective on coerced promises. According to the dominant view, these promises confer no right to performance on the coercer and do not create new reasons for the victim. Shiffrin accepts that these promises fail to confer rights, but disagrees that they never alter the victim’s moral profile. She argues that they do at least where promises are ‘initiated’ by the victim, rather than ‘dictated’ by the coercer. The initiation (...) of a promise, albeit in far from ideal circumstances, opens the door, Shiffrin claims, to valuable opportunities for moral progress. In this response, I argue that Shiffrin makes a misstep by not rejecting the dominant view altogether. I suggest that the older Hobbesian picture, according to which coerced promises do confer rights, is supported by our moral and legal practices. Furthermore, it makes moral progress more likely. (shrink)

Paul uses the word ἑνότης twice in Ephesians, and quite strangely, those are the only two places where the feminine noun features in the whole of the New Testament. In the two passages where they appear, they both relate to invisible unity, the unity of the Spirit that produces a common faith and knowledge of the Son of God – εἰς τὴν ἑνότητα τῆς πίστεως καὶ τῆς ἐπιγνώσεως τοῦ υἱοῦ τοῦ Θεοῦ. Such unity suggests that ecumenism amongst Christian denominations is (...) not only a possibility, it is also a necessity as far as we all profess one Christ. This unity is however far from ecclesiological unionism. Considering that the church appears weak from the outside when its diverse lines of doctrine, sacraments and ministerial ethics are emphasised. This suggests that a reasonable antidote would be the emphasis on the philosophy of unity amidst our diversity especially to the hearing of non-Christians.Contribution: This study makes firm the belief that Christianity is formed on divergent traditions that produced various strands of practices, which in turn produce different Christian sects and denominations, and a reverse is not possible. It then suggests a bonding in faith through the invisibility of henotic unity, which the pericope suggests. This will help the church to amass a stronger defence politically and structurally against rival religions and social organisations even in the midst of doctrinal differences. (shrink)

In this paper I ask how Timaeus explains change within the trianglebased part of his cosmos. Two common views are that change among physical items is somehow caused or enabled by either the forms or the demiurge. I argue for a competing view, on which the physical items are capable of bringing about change by themselves, prior to the intervention of the demiurge, and prior to their being turned into imitations of the forms. I outline three problems for the view (...) that physical things depend on the forms for their causal powers, and show how the view I propose solves each. I then add further arguments for my view, based on (a) statements by Timaeus that seem to favor my view directly, (b) implications of Timaeus’ positions that favor the view, and (c) Timaeus’ explanatory practice in the second half of his speech. (shrink)

The Genetic Information Nondiscrimination Act of 2008 was passed to encourage patients to seek genetic testing that could improve health outcomes and provide opportunities for preventive measures. GINA protects individuals from discrimination based upon genetic information, but not upon manifested diseases and conditions. Because the manifestation of a disease establishes a threshold of protection for individuals under GINA, the definition of manifestation is crucial to understanding the scope of the bill. This paper examines the range of possible legal definitions of (...) disease manifestation and explores the historical struggle that courts have faced when trying to apply these different definitions. Specifically, the paper examines three frameworks that courts have used in the past to interpret the manifestation of a disease; “manifestation as apparent symptoms,”“manifestation as patient action,” and “manifestation as physician action.” We argue that the “manifestation as physician action” is the best framework to utilize in this law generally, but that the definition of manifestation should be read in the light most favorable to a plaintiff in order to achieve the underlying goals of GINA. (shrink)

Congress passed the Genetic Information Nondiscrimination Act of 2008 in order to remove a perceived barrier to clinical genetic testing. By banning health insurance companies and employers from discriminating against an individual based on his or her genetic information, legislators hoped that patients would be encouraged to seek genetic testing that could improve health outcomes and provide opportunities for preventive measures. Their explicit legislative goal was to fully protect the public from discrimination and allay their concerns about the potential for (...) discrimination, thereby allowing individuals to take advantage of genetic testing, technologies, research, and new therapies.However, GINA left a number of issues unresolved, most notably failing to define the concept of disease manifestation. GINA was structured such that it only provides protection against misuse of genetic information up until the point when an individual's disease has manifested. It protects an individual with a genetic predisposition for a disease, but not an individual actively suffering from that disease. (shrink)

Antisthenes was famous in antiquity for his studies of Homer's poems, his affiliation with Gorgias and the sophistic movement, his pure Attic writing style, and his inspiration of Diogenes of Sinope, who founded the Cynic philosophical movement. Antisthenes stands at two of the greatest turning points in ancient intellectual history: from pre-Socraticism to Socraticism, and from classical Athens to the Hellenistic period. Antisthenes' works form the path to a better understanding of the intellectual culture of Athens that shaped Plato and (...) laid the foundations for Hellenistic philosophy and literature. Antisthenes of Athens keeps in mind the goals and polemics framing each philosophical and textual discussion. The volume considers the ancient traditions about Antisthenes' rejection of Plato's “Theory of Forms,” his assertion of the paradox, “It is impossible to gainsay,” and his denial that definition of essence is possible, as well as the plausible intentions of Antisthenes. In cases where these questions are not easily settled, and where modern interpretation has varied, Susan H. Prince identifies the roots of the disagreements. The goal and meaning of Antisthenes' other famous ancient paradox, “I would rather go mad than have pleasure,” is illuminated by comparison with other evidence showing that pleasure does have a place in his ideology. Evidence for his relationship to Diogenes of Sinope, and for his receptions by the Cynics, Stoics, Skeptics, Christians, and Neo-Pagans is examined for both its historical value and its distorting tendencies. (shrink)

Enterprise Risk Management involves the process of identification, evaluation, treatment, and communication regarding risks throughout the enterprise. To support the tasks associated with this process, several frameworks and modeling languages have been proposed, such as the Risk and Security Overlay (RSO) of ArchiMate. An ontological investigation of this artifact would reveal its adequacy, capabilities, and limitations w.r.t. the domain of risk and security. Based on that, a language redesign can be proposed as a refinement. Such analysis and redesign have been (...) executed for the risk elements of the RSO grounded in the Common Ontology of Value and Risk. The next step along this line of research is to address the following research problems: What would be the outcome of an ontological analysis of security-related elements of the RSO? That is, can we identify other semantic deficiencies in the RSO through an ontological analysis? Once such an analysis is provided, can we redesign the security elements of the RSO accordingly, in order to produce an improved artifact? Here, with the aid of the Reference Ontology for Security Engineering (ROSE) and the ontological theory of prevention behind it, we address the remaining gap by proceeding with an ontological analysis of the security-related constructs of the RSO. The outcome of this assessment is an ontology-based redesign of the ArchiMate language regarding security modeling. In a nutshell, we report the following contributions: (1) an ontological analysis of the RSO that identifies six limitations concerning security modeling; (2) because of the key role of the notion of prevention in security modeling, the introduction of the ontological theory of prevention in ArchiMate; (3) a well-founded redesign of security elements of ArchiMate; and (4) ontology-based security modeling patterns that are logical consequences of our proposal of redesign due to its underlying ontology of security. As a form of evaluation, we show that our proposal can describe risk treatment options, according to ISO 31000. Finally, besides presenting multiple examples, we proceed with a real-world illustrative application taken from the cybersecurity domain. (shrink)

This book offers the first full-length study of philosophical dialogue during the English Enlightenment. It explains why important philosophers - Shaftesbury, Mandeville, Berkeley and Hume - and innumerable minor translators, imitators and critics wrote in and about dialogue during the eighteenth century; and why, after Hume, philosophical dialogue either falls out of use or undergoes radical transformation. Philosophical Dialogue in the British Enlightenment describes the extended, heavily coded, and often belligerent debate about the nature and proper management of dialogue; and (...) it shows how the writing of philosophical fictions relates to the rise of the novel and the emergence of philosophical aesthetics. Novelists such as Fielding, Sterne, Johnson and Austen are placed in a philosophical context, and philosophers of the empiricist tradition in the context of English literary history. (shrink)

At On Generation and Corruption I.7.323b1–324a5, Aristotle claims that his new method of analysis for fundamental bodies and properties resolves a traditional apparent incompatibility between opposed principles applied by different philosophical authorities to the problem of affecting and being affected (poiein and paschein): that the like interacts with the unlike, and that the like interacts with the like. Twice in this passage, Aristotle uses a form of the term hupenantion (etymologically, ‘sub-oppositional’) in an extended discussion that includes his declaration of (...) the critical insight for solving the problem and illuminates the partial truth of each of the apparently antithetical universal principles. Because Aristotle uses the uncommon term twice in close context, and because he also explains in the context how he understands the apparent incompatibility—characterized both as a verbal opposition or enantiologia and also as a partial articulation of what should be theorized as a whole—it seems (and has seemed) plausible that this augmented form of the frequently used term enantion (‘opposite’ or ‘contrary’) carries methodological weight for indicating a kind of apparent incompatibility that can be resolved through supplementation to both of the opposed statements rather than elimination of or even favor for one or the other. Although the sense of hupenantion in On Generation and Corruption 1.7 is not continuous with the concept of the ‘subcontrary’ developed by ancient commentators on Aristotle’s Interpretations and early modern logicians, a full survey of the use of this term in Aristotle’s writings shows that Aristotle did recognize and lexically mark a special kind of opposition, one productive of intellectual progress rather than indicative of total error on one side of the debate. (shrink)

The concept of a communal type of privacy shared by interconnected social groups has wide applications in the healthcare field, specifically in genetic testing and genetic data privacy (Pyrrho, Cam...

Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building sound (...) taxonomic structures involving them. For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. At the core of this enterprise, there has been a theory of types specially designed to address these issues. This theory is ontologically well- founded, psychologically informed, and formally characterized. These results have led to the development of a Conceptual Modelling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed on conceptual model design in a variety of domains including academic, industrial, and governmental settings. These experiences exposed improvement opportunities for both the OntoUML language and its underlying theory, UFO. In this paper, we revise the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of OntoUML’s meta-types (e.g. kind, role, phase, mixin) should be considered not as restricted to substantial types but instead should be applied to model endurant types in general, including relator types, quality types, and mode types. We also contribute with a formal characterization of this fragment of the theory, which is then used to advance a new metamodel for OntoUML (termed OntoUML 2). To demonstrate that the benefits of this approach are extended beyond OntoUML, the proposed formal theory is then employed to support the definition of UFO-based lightweight Semantic Web ontologies with ontological constraint checking in OWL. Additionally, we report on empirical evidence from the literature, mainly from cognitive psychology but also from linguistics, supporting some of the key claims made by this theory. Finally, we propose a computational support for this updated metamodel. (shrink)

Enterprise Risk Management and security have become a fundamental part of Enterprise Architecture, so several frameworks and modeling languages have been designed to support the activities associated with these areas. Archi- Mate’s Risk and Security Overlay is one of such proposals, endorsed by The Open Group. We investigate the capabilities of the proposed security-related con- structs in ArchiMate with regard to the necessities of enterprise security modeling. Our analysis relies on a well-founded reference ontology of security to uncover ambiguity, missing (...) modeling elements, and other deficiencies of the security mod- eling capabilities in ArchiMate. Based on this ontologically-founded analysis, we propose a redesign of security aspects of ArchiMate to overcome its original limitations. (shrink)

The modern use of the word ‘persecution’ in both speeches and books shows a phenomenon that is almost wholly associated with religion. However, persecution is a threat to the peace of religious institutions as well as various societies all over the world; thus, this makes it a phenomenon beyond the scope of religion. However, this research focuses on religious persecution. It studies an aspect of persecution which is called intra muros persecution. This means ‘internal’ persecution. ‘Internal’ in this context describes (...) the kind that existed in the Jewish religious settings, amongst professing Jews, strictly between Rabbinic Jews and Messianic Jews as predicted in Matthew 10:16–23 and is reflected in today’s Christianity in the form of various intra-denominational attacks in Nigeria. The study delves into the history of events which took place between Rabbinic Jews and Messianic Jews and how it relates to the Christian faith, coming out with the discovery that division which it called sectarianism was the brain behind this brand of persecution. The application of the study to the Nigerian situation necessitates the call for tolerance amongst various denominational sects in Nigeria. (shrink)